• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2021 (4)
    • 2020 (4)
    • 2019 (1)
    • 2018 (2)
    • 2017 (8)
    • 2016 (4)
    • 2015 (5)
    • 2014 (12)
    • 2013 (6)
    • 2012 (3)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (103)
    • subject to license (18)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6 Hits 1 – 20 of 103 1 Semantics with assignment variables Silk, Alex. - Cambridge, United Kingdom : Cambridge University Press, 2021 BLLDB UB Frankfurt Linguistik Show details 2 Digital Currencies as Types (Invited Talk) ... Zakian, Timothy A. K.. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021 BASE Show details 3 Leo-III – A Theorem Prover for Higher-Order Logic ... Steen, Alexander; Benzmueller, Christoph. - : Zenodo, 2021 BASE Show details 4 Parameterized monads in linguistics Viet, Ha Bui. - : University of Wolverhampton, 2021 BASE Show details 5 Something out of nothing: the semantics and pragmatics of implicit quantification Cohen, Ariel. - Boston : Brill, 2020 UB Frankfurt Linguistik Show details 6 Something out of nothing : the semantics and pragmatics of implicit quantification Cohen, Ariel. - Boston : Brill, 2020 BLLDB UB Frankfurt Linguistik Show details 7 The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction Gastaldi, Juan,; Pellissier, Luc In: https://hal.archives-ouvertes.fr/hal-03064480 ; 2020 (2020) BASE Show details 8 A type theoretic approach to weak w-categories and related higher structures ; Catégories faibles et structures supérieures afférentes en théorie des types Benjamin, Thibaut. - : HAL CCSD, 2020 In: https://tel.archives-ouvertes.fr/tel-03106197 ; Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩ (2020) BASE Show details 9 A computational account of virtual travelers in the Montagovian generative lexicon Lefeuvre-Halftermeyer, Anaïs; Moot, Richard; Retoré, Christian In: The Semantics of Dynamic Space in French ; https://hal.archives-ouvertes.fr/hal-02093536 ; Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩ ; https://benjamins.com/catalog/hcp.66.09lef (2019) BASE Show details 10 Влияние диалога «Бруно» Шеллинга на спекулятивный метод Гегеля ... : THE INFLUENCE OF THE DIALOGUE «BRUNO» SCHELLING ON THE SPECULATIVE METHOD OF HEGEL ... Лопатюк Роман Юрьевич. - : Вестник Челябинского государственного университета, 2018 BASE Show details 11 The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory Mannaa, Bassel. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. : LIPIcs - Leibniz International Proceedings in Informatics. 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), 2018 BASE Show details 12 Bertrand Russell and the nature of propositions : a history and defence of the multiple relation theory of judgement Lebens, Samuel. - London : Routledge, 2017 BLLDB UB Frankfurt Linguistik Show details 13 Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems Chatzikyriakidis, Stergios; Lafourcade, Mathieu; Ramadier, Lionel... In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01947518 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, Type-theoretical approaches to lexical semantics, 5 (2), pp.229-272. ⟨10.15398/jlm.v5i2.145⟩ (2017) BASE Show details 14 An outline of type-theoretical approaches to lexical semantics Cooper, Robin; Retoré, Christian In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01802968 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), pp.165-178. ⟨10.15398/jlm.v5i2.200⟩ (2017) BASE Show details 15 Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics Mery, Bruno; Retoré, Christian In: Modern Perspectives in Type-Theoretical Semantics ; https://hal.archives-ouvertes.fr/hal-01471256 ; Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. ⟨10.1007/978-3-319-50422-3_7⟩ (2017) BASE Show details 16 Copredication in homotopy type theory Bahramian, Hamidreza; Nematollahi, Narges; Sabry, Amr In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017) BASE Show details 17 Copredication In Homotopy Type Theory ... Bahramian, Hamidreza. - : Zenodo, 2017 BASE Show details 18 Copredication In Homotopy Type Theory ... Bahramian, Hamidreza. - : Zenodo, 2017 BASE Show details 19 Copredication In Homotopy Type Theory ... Bahramian, Hamidreza. - : Zenodo, 2017 BASE Show details 20 Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory Rahman, Shahid; Jovanovic, Radmila; Clerbout, Nicolas In: Epistemology, Knowledge and the Impact of Interaction ; https://halshs.archives-ouvertes.fr/halshs-01227833 ; Epistemology, Knowledge and the Impact of Interaction, Springer, 2016 ; http://www.springer.com/us/book/9783319265049 (2016) BASE Show details Page: 1 2 3 4 5 6

Mobile view All Catalogues UB Frankfurt Linguistik 22 IDS Mannheim 3 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 1 Bibliographies BLLDB 8 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 77 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0